4.2 帰納法で0 + n = nを証明する